大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Symposium on Generalized Recursion Theory 的图书(共8282本)

Advances in Neural Networks-ISNN 2005 [electronic resource] : Second International Symposium on Neural Networks, Chongqing, China, May 30 - June 1, 2005, Proceedings, Part II

0
索取号：
作者：Wang、 Jun.、Liao、 Xiao-Feng.、Yi、 Zhang.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Advances in Neural Networks-ISNN 2005 [electronic resource] : Second International Symposium on Neural Networks, Chongqing, China, May 30 - June 1, 2005, Proceedings, Part I

0
索取号：
作者：Wang、 Jun.、Liao、 Xiaofeng.、Yi、 Zhang.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Multiagent Engineering [electronic resource] : Theory and Applications in Enterprises

0
索取号：
作者：Kirn、 Stefan.、Herzog、 Otthein.、Lockemann、 Peter.、Spaniol、 Otto.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Russian Contributions to Game Theory and Equilibrium Theory [electronic resource]

0
索取号：
作者：Driessen、 Theo S. H.、Laan、 Gerard.、Vasil鈥檈v、 Valeri A.、Yanovskaya、 Elena B.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Advances in Cryptology-EUROCRYPT 2005 [electronic resource] : 24th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Aarhus, Denmark, May 22-26, 2005. Proceedings

0
索取号：
作者：Cramer、 Ronald.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Component-Based Software Engineering [electronic resource] : 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005. Proceedings

0
索取号：
作者：Heineman、 George T.、Crnkovic、 Ivica.、Schmidt、 Heinz W.、Stafford、 Judith A.、Szyperski、 Clemens.、Wallnau、 Kurt.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Brain, Vision, and Artificial Intelligence [electronic resource] : First International Symposium, BVAI 2005, Naples, Italy, October 19 鈥ಱ, 2005. Proceedings

0
索取号：
作者：Gregorio、 Massimo.、Maio、 Vito.、Frucci、 Maria.、Musio、 Carlo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Spatial Information Theory [electronic resource] : International Conference, COSIT 2005, Ellicottville, NY, USA, September 14-18, 2005. Proceedings

0
索取号：
作者：Cohn、 Anthony G.、Mark、 David M.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Service Availability [electronic resource] : Second International Service Availability Symposium, ISAS 2005, Berlin, Germany, April 25 鈥ಶ, 2005, Revised Selected Papers

0
索取号：
作者：Malek、 Miroslaw.、Nett、 Edgar.、Suri、 Neeraj.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Information Retrieval Technology [electronic resource] : Second Asia Information Retrieval Symposium, AIRS 2005, Jeju Island, Korea, October 13-15, 2005. Proceedings

0
索取号：
作者：Lee、 Gary Geunbae.、Yamada、 Akio.、Meng、 Helen.、Myaeng、 Sung Hyon.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Programming Languages and Systems [electronic resource] : 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

0
索取号：
作者：Sagiv、 Mooly.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Compiler Construction [electronic resource] : 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

0
索取号：
作者：Bodik、 Rastislav.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Fundamental Approaches to Software Engineering [electronic resource] : 8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

0
索取号：
作者：Cerioli、 Maura.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Foundations of Software Science and Computational Structures [electronic resource] : 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

0
索取号：
作者：Sassone、 Vladimiro.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005.

Computer Security-ESORICS 2005 [electronic resource] : 10th European Symposium on Research in Computer Security, Milan, Italy, September 12-14, 2005. Proceedings

0
索取号：
作者：Vimercati、 Sabrina de Capitani.、Syverson、 Paul.、Gollmann、 Dieter.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

0
索取号：
作者：Halbwachs、 Nicolas.、Zuck、 Lenore D.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.